《C++ Template》对Template各个方面进行了较为深度详细的解析，故而本系列博客按书本的各章顺序编排，并只作为简单的读书笔记，详细讲解请购买原版书籍(绝对物超所值)。------------------------------------------------------------------------------------------------------------第一章 前言1.4 编程风格（1）对“常整数”趋向使用“int const”，而不是使用“const int”。“恒定不变部分”指的是const限定符前面的部分。------------------------------------------------------------------------------------------------------------第1部分 基础第2章 函数模板2.1 初探函数模板2.1.1 定义模板

注：你可以使用任何类型（基本类型、类等）来实例化该类型参数，只要所用类型提供模板使用的操作就可以。2.1.2 使用模板

这种用具体类型代替模板参数的过程叫做实例化，它产生了一个模板的实例。

注：通常而言，并不是把模板编译成一个可以处理任何类型的单一实体；而是对于实例化模板参数的每种类型，都从模板产生一个不同的实体。

于是，我们可以得出一个结论：模板被编译了两次，分别发生在：（1）实例化之前，先检查模板代码本身，查看语法是否正确；在这里会发现错误的语法，如遗漏分号等。（2）在实例化期间，检查模板代码，查看是否所有的调用都有效。在这里会发现无效的调用，如该实例化类型不支持某些函数调用(该类型没有提供模板所需要使用到的操作)等。

2.2 实参的演绎（deduction）

注：模板实参不允许进行自动类型转换；每个T都必须正确地匹配。如：

2.3 模板参数函数模板有两种类型的参数(牢记)：（1）模板参数：位于函数模板名称的前面，在一对尖括号内部进行声明：

（2）调用参数：位于函数模板名称之后，在一对圆括号内部进行声明：

注：由于函数模板历史发展过程中的一个失误，导致目前（2016/1/11）我们不能在函数模板内部指定缺省的模板实参(形如“template ”，不能指定xxx；)。但依然可以指定函数模板的调用实参（形如“...max(T const& a, T const& b = yyy)”，可以指定yyy）（以后应该会支持函数模板指定缺省模板实参）。

注：切记“模板参数”和“模板实参”的区别；函数的“模板参数”和“调用参数”、“模板实参”和“调用实参”的区别；“类型参数”和“非类型参数”的区别[参见下面第4章内容]；

函数模板和类模板区别【重要】：

（3）显式实例化：当模板参数和调用参数没有发生关联，或者不能由调用参数来决定模板参数的时候（例如：返回类型），在调用时就必须显式指定模板实参。切记，模板实参演绎并不适合返回类型。如下：

那么必须进行显式实例化：

注：通常而言，你必须指定“最后一个不能被隐式演绎的模板实参之前的”所有实参类型。上面的例子中，改变模板参数的声明顺序，那么调用者就只需要指定返回类型：

2.4 重载函数模板

（需要参考书本2.4节p17，p18例子，重点研究如下的传参方式）：

------------------------------------------------------------------------------------------------------------第3章 类模板3.1 类模板Stack的实现见书源码；

3.1.1 类模板的声明

注：这个类的类型是Stack,其中T是模板参数。因此，当在声明中需要使用该类的类型时，你必须使用Stack。然而，当使用类名而不是类的类型时，就应该只用Stack;譬如，当你指定类的名称、类的构造函数、析构函数时，就应该使用Stack。

3.1.2 成员函数的实现为了定义类模板的成员函数，你必须指定该成员函数是一个函数模板，而且你还需要使用这个类模板的完整类型限定符。如下：

显然，对于类模板的任何成员函数，你都可以把它实现为内联函数，将它定义于类声明里面，如：

3.2 类模板Stack的使用

为了使用类模板对象，必须显式地指定模板实参。

3.3 类模板的特化语法：为了特化一个类模板，你必须在起始处声明一个template，接下来声明用来特化类模板的类型。这个类型被用作模板实参，且必须在类名的后面直接指定：

进行类模板的特化时，每个成员函数都必须重新定义为普通函数，原来模板函数中的每个T也相应地被进行特化的类型取代。如:

3.4 局部特化(偏特化)

例子如下：

3.5 缺省模板实参对于类模板，你还可以为模板参数定义缺省值；这些值就被称为缺省模板实参；而且它们还可以引用之前的模板参数。(STL容器使用缺省默认实参指定内存分配其alloc)如：

------------------------------------------------------------------------------------------------------------第4章 非类型模板参数4.1 非类型的类模板参数如下定义：

注：每个模板实例都具有自己的类型，因此int20Stack和int40Stack属于不同的类型，而且这两种类型之间也不存在显式或者隐式的类型转换；所以它们之间不能互相替换，更不能互相赋值。然而，如果从优化设计的观点来看，这个例子并不适合使用缺省值。缺省值应该是直观上正确的值。但对于栈的类型和大小而言，int类型和最大容量100从直观上看起来都不是正确的。因此，在这里最好还是让程序员显式地指定这两个值。因此我们可以在设计文档中用一条声明来说明这两个属性（即类型和最大容量）。

4.2 非类型的函数模板参数如下定义：

借助标准模板库（STL）使用上面例子：

注：

4.3 非类型模板参数的限制我们还应该知道：非类型模板参数是有限制的。通常而言，它们可以是常整数（包括枚举值）或者指向外部链接对象的指针，你不能使用浮点数、class类型的对象和内部链接对象（例如string）作为实参；

注：

------------------------------------------------------------------------------------------------------------第5章 技巧性基础知识5.1 关键字typename在C++标准化过程中，引入关键字typename是为了说明：模板内部的标识符可以是一个类型。如下：

注：本节同时提到了一个奇特的构造“.template”：只有当该前面存在依赖于模板参数的对象时，我们才需要在模板内部使用“.template”标记（和类似的诸如->template的标记），而且这些标记也只能在模板中才能使用。如下例子：

5.3 成员模板对于类模板而言，其实例化只有在类型完全相同才能相互赋值。我们通过定义一个身为模板的赋值运算符（成员模板），来达到两个不同类型（但类型可以转换）的实例进行相互赋值的目的，如下声明：

参见博文Effective C++ —— 模板与泛型编程（七） 条款45 运用成员函数模板接受所有兼容类型

5.4 模板的模板参数还是以Stack为例：

注：

5.5 零初始化对于int、double或者指针等基本类型，并不存在“用一个有用的缺省值来对它们进行初始化”的缺省构造函数；相反，任何未被初始化的局部变量都具有一个不确定值。如果我们希望我们的模板类型的变量都已经用缺省值初始化完毕，那么针对内建类型，我们需要做一些处理，如下：

5.6 使用字符串作为函数模板的实参有时，把字符串传递给函数模板的引用参数会导致出人意料的运行结果：

上面method1的问题在于：由于长度的区别，这些字符串属于不同的数值类型。也就是说，“apple”和“peach”具有相同的类型char const[6]；然而“tomato”的类型则是char const[7]。method2调用正确的原因是：对于非引用类型的参数，在实参演绎的过程中，会出现数组到指针的类型转换（这种转型通常也被称为decay）。小结：如果你遇到一个关于字符数组和字符指针之间不匹配的问题，你会意外地发现和这个问题会有一定的相似之处。这个问题并没有通用的解决方法，根据不同情况，你可以：

5. 强制要求应用程序程序员使用显式类型转换。对于我们的例子，最好的方法是为字符串重载max()。无论如何，为字符串提供重载都是必要的，否则比较的将是两个字符串的地址。

------------------------------------------------------------------------------------------------------------第6章 模板实战6.1 包含模型6.1.1 连接器错误

大多数C和C++程序员会这样组织他们的非模板代码：

这样一切都可以正常运作了。所需的类型定义在整个程序中都是可见的；并且对于变量和函数而言，链接器也不会给出重复定义的错误。但这种情况在模板中会出现一些问题，如下：